Probability propagation rules for Aristotelian syllogisms

We present a coherence-based probability semantics and propagation rules for (categorical) Aristotelian syllogisms. For framing the syllogisms as probabilistic inferences, we interpret basic syllogistic sentence types A, E, I, O by suitable precise imprecise conditional assessments. Then, define validity of inferences notions existential import which is required, Based on generalization de Finetti's fundamental theorem to probability, investigate coherent argument forms Figures II, III, respectively. These results allow show, all three figures, that each traditionally valid syllogism also in our semantics. Moreover, defaults negated defaults. Thereby, build bridge from nonmonotonic reasoning. Then show reductio conversion does not work while ad impossibile can be applied approach. Finally, how proposed used analyze involving generalized quantifiers (like Most).